(L)ukasiewicz命题逻辑系统中的赋值决定公式问题

为了在经典逻辑学中建立Fuzzy分离规则的推理模式，Zadeh提出了赋值决定公式问题（VDF问题），并已于二值命题逻辑以及Lukasiewicz三值和p＋1值命题逻辑中得到解决．文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论，首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件，其次构造性地解决了Ln、La和Lc中的VDF问题．     

H型钢的截面剪应力计算方法研究

根据材料力学截面最大剪应力公式计算出H型钢(按GB11263-89)的截面惯性矩与面积矩的比值、剪应力系数，为剪应力的精确计算提供方便．通过对剪应力计算公式的分析，提出了便于工程实用的H型钢剪应力计算简化公式，计算精度高，且略偏于安全．     

一类矩阵秩的恒等式及其推广

从Sylvester公式出发,发现一个用以刻画矩阵秩的很漂亮的公式。对这一公式进行推广,并猜想它有更一般的结果。部分地解决了该猜想,并得到了一系列结果。     

钢管加劲焊接空心球节点的受压承载力分析

采用钢管加劲焊接空心球节点可以使拉索方便地穿过下弦节点，但加劲钢管的存在会影响节点不同方向的受压承载力，现行网架规程尚没有这类节点的受压承载力计算公式。为此，采用三节点及四节点壳单元并考虑钢材的多线性等向强化准则，对节点进行了大变形弹塑性有限元分析，跟踪了节点在轴向压力作用下的荷载位移曲线。通过4组节点的受压破坏试验，发现节点均为弹塑性压曲破坏；将试验值与数值解进行了比较，两者吻合得很好。在此基础上，提出了钢管加劲焊接空心球节点两个方向的受压承载力计算公式。     

切花保鲜的研究进展

对鲜切花衰老原因、切花保鲜剂及应用、切花保鲜贮藏、切花保鲜包装技术等问题进行了综述，总结和提出了多种切花保鲜，包装的方法和措施。     

闭光滑流形上具有拓广的Bochner-Martinelli 核的奇异积分的置换公式

利用拓广的Bochner Martinelli型积分的Plemelj公式,得到了闭光滑流形上具有拓广的Bochner Martinelli核的奇异积分的置换公式,并且当密度函数可全纯开拓到区域D内时,证明了相应的合成公式.     

关于二次Kloosterman和的四次均值公式

目的研究二次Kloosterman和的四次均值。方法主要利用二次剩余、二次非剩余及三角和的一些性质进行研究。结果引入二次Kloosterman和，并给出了它的四次均值的一个精确的计算公式。     

Lorentz变换修正公式

Lorentz变换的根源在于,当t’=t=0时,两惯性坐标系K’和K的原点O’与O重合,这时,在其公共原点发出的是一个传播速度为光速c的光信号。经过Lorentz变换,认为光速c是一切实际物体运动速度的极限。本文假设,当t’=t=0时,两惯性坐标系K’和K的原点O’与O重合,这时,在其公共原点发出的是一个超光速信号。由此导出了Lorentz变换修正公式,并证明了超光速没有极限值,ds2仍然是Lorentz不变量。同时还导出了相对论速度变换修正公式。由此还可以导出在超光速条件下,惯性坐标系之间的其它变换公式。     

n次积分C-半群的表示定理

利用指数有界的n次积分C-半群的基本性质，用两种不同的方法证明了它的指数公式。     

网络系统中的公式表达方法研究

为了探讨网络系统中的公式表达，提出了一种基于XML(eXtensible Markup Language)的公式标记语言FML(Formula Markup Language)．首先分析了FML与网络系统的关系以及FML与MathML的联系和区别，阐述了、ML和MathML并不适合于网络上的传输应用，而且不能作为成熟的规范指导实际应用；然后描述了FML语法，阐述了用FML来表达公式的实现技术，提出了在网络系统中解析和再现FML的工具FML Viewer．探讨FML及其应用，对于XML的研究，具有一定的理论和应用价值．